A Divide and Conquer Approach to Eventual Model Checking

The paper proposes a new technique to mitigate the state of explosion in model checking. is called divide and conquer approach eventual As indicated by name, dedicated properties. divides an original checking problem into multiple smaller problems tackles each one. We prove theorem that are equivalent problem. conducted case study demonstrates power proposed technique.